Numerical software - PDFSEARCH.IO - Document Search Engine

Numerical software
Results: 1996

#	Item
111	CS:APP2e Web Aside MEM:BLOCKING: Using Blocking to Increase Temporal Locality∗ Randal E. Bryant David R. O’Hallaron June 5, 2012 Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2012-06-05 05:40:07 Compiler optimizations Numerical linear algebra Cache Computer memory Locality of reference Software optimization Matrix multiplication Loop optimization Matrix Array data type Loop nest optimization Loop tiling
112	Flyability SA Av. SévelinLausanne Switzerland + Add to Reading List Source URL: www.flyability.com Language: English - Date: 2016-07-25 04:20:10 Embedded systems Cross-platform software Numerical software Visual programming languages Digital electronics Microcontroller LabVIEW Simulink cole Polytechnique Fdrale de Lausanne Unmanned aerial vehicle Firmware System on a chip
113	Copyright © 2001, The Regents of the University of California October, 2001 http://interface.cipic.ucdavis.edu Release 1.1 Add to Reading List Source URL: interface.cipic.ucdavis.edu Language: English - Date: 2009-08-14 14:09:52 Array programming languages Cross-platform software Linear algebra MATLAB Mathematical software Numerical software Dar Database
114	Day 1 – Getting Started With OpenSees 9:30 - 9:45 Welcome Frank McKenna 9:OpenSees Framework Add to Reading List Source URL: opensees.berkeley.edu Language: English - Date: 2016-05-19 01:36:25 Earthquake engineering Numerical software OpenSees McKenna
115	Numerical Partial Differential Equations in Scheme∗ Bradley J. Lucier Department of Mathematics Purdue University West Lafayette, IN Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2005-08-03 19:00:21 Object-oriented programming languages Functional languages Procedural programming languages Programming languages Cross-platform software Common Lisp GNU Compiler Collection Lisp Gambit Relational operator Scheme Anonymous function
116	BOOKS ABOUT HAAS LATHE APL PROGRAMMING Cityhalllosangeles.com HAAS LATHE APL PROGRAMM... Add to Reading List Source URL: h.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:39:33 APL programming language family Computer-aided engineering IBM software Array programming languages Lathes APL Metal lathe G-code Numerical control Go
117	Microsoft Word - NEW17.docx Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2013-08-28 16:06:46 Operations research Mathematical optimization Convex optimization Linear programming Reduced cost Numerical software Draft:Extended mathematical programming PROPT
118	Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-11-29 06:51:17 Parallel computing Numerical linear algebra Software optimization Roofline model Software testing Matrix multiplication Multi-core processor FLOPS Loop nest optimization Matrix multiplication algorithm
119	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem
120	A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cross-platform software Numerical software Formal methods Simulation software Linear algebra MATLAB Simulink Verification condition generator Formal verification Command-line interface HTML element

UPDATE